Stephen Williams

Results: 133



#Item
21

Science of Computer Programming–109 www.elsevier.com/locate/scico Atomizer: A dynamic atomicity checker for multithreaded programs Cormac Flanagan a,∗ , Stephen N. Freund b a Department of Computer Scien

Add to Reading List

Source URL: dept.cs.williams.edu

Language: English - Date: 2008-04-23 15:51:13
    22

    Why Undergraduates Should Learn the Principles of Programming Languages∗ ACM SIGPLAN Education Board Stephen N. Freund (Williams College), Dan Grossman, Chair (University of Washington), Kim Bruce (Pomona College), Cur

    Add to Reading List

    Source URL: www.cs.pomona.edu

    Language: English - Date: 2011-02-07 11:38:53
      23

      Exploiting Purity for Atomicity Cormac Flanagan Stephen N. Freund Shaz Qadeer Department of Computer Science Computer Science Department Microsoft Research University of California, Santa Cruz

      Add to Reading List

      Source URL: dept.cs.williams.edu

      Language: English - Date: 2007-08-07 13:03:19
        24

        Types for Atomicity: Static Checking and Inference for Java CORMAC FLANAGAN University of California at Santa Cruz STEPHEN N. FREUND and MARINA LIFSHIN Williams College

        Add to Reading List

        Source URL: dept.cs.williams.edu

        Language: English - Date: 2008-07-30 18:43:47
          25

          A Type System for Object Initialization In the Java Bytecode Language∗ TM Stephen N. Freund John C. Mitchell

          Add to Reading List

          Source URL: dept.cs.williams.edu

          Language: English - Date: 2007-08-07 13:03:19
            26

            Adversarial Memory for Detecting Destructive Races Cormac Flanagan Stephen N. Freund Computer Science Department

            Add to Reading List

            Source URL: dept.cs.williams.edu

            Language: English - Date: 2010-03-25 18:59:31
              27

              Vol. 3, No. 6, JuneChecking Concise Specifications For Multithreaded Software Stephen N. Freund, Department of Computer Science, Williams College, Williamstown, MAShaz Qadeer, Microsoft Research, One Micros

              Add to Reading List

              Source URL: dept.cs.williams.edu

              Language: English - Date: 2007-08-07 13:03:18
                28

                Part 3: Beyond Reduction Lightweight Analyses For Reliable Concurrency Stephen Freund

                Add to Reading List

                Source URL: dept.cs.williams.edu

                Language: English - Date: 2007-08-07 13:01:06
                  UPDATE